IRRODL Volume 5, Number 3

Volume 5 Number 2

painting, which plays with color and form. It appears that criticism has learned very little in a century. Although we can accept, understand, and excuse the mother who disgustedly remarks that she has a 6-year-old daughter who can paint better than "that," it is depressing to find an intelligent, educated critic asking "what an abstract photograph is of" and arguing that "in photography the su...

Basic and Clinical Neuroscience, Volume 4, Number 3, Full Text

Abstracts Volume 8 Number 3

Chemical reactors are often characterized by highly nonlinear behaviour. In such cases, the use of conventional control strategies where controllers have fixed parameters can result in poor performance. Knowledge about the static and dynamic properties is a necessary condition for the design of a controller. Unfortunately, measurements on the real system are not always feasible. The only way as...

CryptoBytes Volume 3 Number 1

(continued on page 3) Ran Canetti and Rosario Gennaro are Research Staff Members at the IBM T.J. Watson Research Center. They can be contacted at [email protected] and [email protected], respectively. Amir Herzberg manages the Network Computing and Security Group at the IBM Haifa Research Lab (Tel-Aviv Annex), and Dalit Naor is a Research Staff Member there. They can be reached at ami...

Program Verification, Volume 47, Number 5

534 NOTICES OF THE AMS VOLUME 47, NUMBER 5 H ow can a computer program developer ensure that a program actually implements its intended purpose? This article describes a method for checking the correctness of certain types of computer programs. The method is used commercially in the development of programs implemented as integrated circuits and is applicable to the development of “control-inten...